Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท18h
๐ŸงฎAlgebraic Archives
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท17hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Ÿ”“Decompilation
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.eduยท3d
๐Ÿ“Error Bounds
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.ioยท2h
๐ŸŒŠStreaming Systems
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท4hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท2hยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Encodings
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.comยท3hยท
๐Ÿ—‚Data structures
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท59m
โšกProof Automation
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.orgยท2dยท
๐ŸŽž๏ธTape Combinatorics
Flag this post
Building Up And Sanding Down
endler.devยท22h
๐Ÿ”ฉSystems Programming
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท18h
๐Ÿ’ปLocal LLMs
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท6hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท8hยท
๐Ÿ”’Type Safety
Flag this post
Mind of a Mathematician (2019)
paw.princeton.eduยท1dยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Flag this post